退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过分析约束变量依赖性来进行有效saT搜索的变量排序
Vijay Durairaj; Priyank Kalla;
机译:MINCE:用于SAT搜索和BDD操纵的静态全局变量排序启发式算法
机译:MAX-k-SAT w.r.t.的最坏情况时限使用局部搜索的变量数
机译:回溯搜索SAT求解器的高效数据结构
机译:通过分析约束变量相关性来有效搜索SAT的变量顺序
机译:SAT局部搜索算法的搜索空间结构。
机译:在排名列表中进行有效的主题搜索并将其应用于可变间隙主题
机译:通过分析约束变量依赖性和子句长度来指导CNF-SAT搜索
机译:搜索系统中有效分析时间序列数据的分布式索引和搜索方法
机译:可变加密技术,用于安全有效可搜索的加密
机译:各种加密技术,可确保安全有效的可加密性
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。